package tr.edu.ege.kipler.satisfiability.container;

import java.util.Set;

import tr.edu.ege.kipler.satisfiability.UnsatisfiableException;
import tr.edu.ege.kipler.syntax.WorldElement;

/**
 * 
 * @author İnanç Seylan
 *
 */
public interface FormulaBase {
	public void add(WorldElement formula) throws UnsatisfiableException;

	public boolean contains(WorldElement formula);

	public Set<WorldElement> getFormulas();

	public boolean isSatisfiable();
}
